(discrete state after $e$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if discrete(loc($e$);$x$) then ($x$ after $e$) else $\cdot$ fi